StrathPac - An Automated Player for Ms. Pac-Man L. Kelly, L. Dicken, J. Levine Department of Computer and Information Science University of Strathclyde Introduction This paper describes a software agent designed to play

Source URL: cswww.essex.ac.uk

• Pac-Man
• Ghosts
• Pac-Man Arrangement
• Pac-Man Vs.

Adapting User Interface Design Methods to the Design of Educational Activities Clayton Lewis, Cathy Brand, Gina Cherry, and Cyndi Rader Department of Computer Science and Institute of Cognitive Science University of Colo

Source URL: www.cs.colorado.edu

• Educational psychology
• Usability inspection
• Usability
• Educational technology
• Information technology
• Cognitive walkthrough
• User interface design
• User interface
• Pluralistic walkthrough
• Instructional design

Spatial Game Analytics and -Visualization Anders Drachen Matthias Schubert College of Computer and Information Science

Source URL: eldar.mathstat.uoguelph.ca

• Formal sciences
• Business intelligence
• Cartography
• Geography
• Geographic data and information
• Spatial analysis
• Analytics
• Data mining
• Predictive analytics
• Geographic information system
• Spatial database
• Heat map

Unsupervised Recognition and Clustering of Speech Overlaps in Spoken Conversations Shammur A. Chowdhury, Giuseppe Riccardi, Firoj Alam Department of Information Engineering and Computer Science, University of Trento, Ita

Source URL: www.sensei-conversation.eu

• Computational linguistics
• Data mining
• Cluster analysis
• Geostatistics
• K-means clustering
• Turn-taking
• Image segmentation
• Pattern recognition
• Speech recognition
• K-means++

Master of Science in Computer Science and Information Systems (MSCSIS) Learning Goals 1. Graduates will be able to formulate and solve problems using advanced mathematics and numerical methods, and computer information s

Source URL: csb.uncw.edu

Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA

Source URL: fm.csl.sri.com

• Theoretical computer science
• Formal methods
• ACL2
• Lisp
• Statements
• Automated theorem proving
• Formal verification
• J Strother Moore
• Mathematical proof
• Conjecture
• Algorithm
• Reason

Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: *from the Registrar

Source URL: atakangunal.com

• Formal languages
• Theoretical computer science
• Theory of computation
• Computability theory
• Models of computation
• Computability
• Automata theory
• Introduction to the Theory of Computation
• Turing machine
• Super-recursive algorithm
• Algorithm
• Finite-state machine

Discovery and Semantic Integration of Geologic Data Kai Lin, San Diego Super Computer Center, UC San Diego, and A. Krishna Sinha, Department of Geosciences, Virginia Tech Frontier of cyberinfrastructure research in geos

Source URL: www.geongrid.org

• Ontology
• Semantic Web
• Data management
• Information science
• Bioinformatics
• Web Ontology Language
• Semantic integration
• Data integration
• Ontology-based data integration

Rectifying Predictions of Classifiers by Local Rules Martin Moˇzina and Ivan Bratko Faculty of Computer and Information Science, University of Ljubljana, Slovenia Abstract. The main advantage of unordered classificatio

Source URL: www.ke.tu-darmstadt.de

• Statistical classification
• Classification rule
• CN2 algorithm
• Naive Bayes classifier
• Machine learning

Color-theory-based Dynamic Localization in Mobile Wireless Sensor Networks Shen-Hai Shee, Kuochen Wang＊, Yi-Ling Hsieh Department of Computer and Information Science National Chiao Tung University Hsinchu, Taiwan 300

Source URL: pds.cis.nctu.edu.tw

• Wireless networking
• Wireless sensor network
• Sensor node
• Wireless ad hoc network
• Mobile wireless sensor network
• RGB color model
• Node
• Random waypoint model